// test global varibles
struct test {
	int data;
	struct test * next;
};

array [20,struct test] c,d;
/*@*/
void init()
{
	int i;
	i=0;
	while(i<20)
	{
		c[i].data=i;
		d[i].data=10-i;
		i=i+1;
	}
	return;
}
/*@*/
/*@*/
void swap()
{
	int temp,i;
	i=0;
	while(i<20)
	{
		temp=c[i].data;
		c[i].data=d[i].data;
		d[i].data=temp;
		i=i+1;
	}
//	print(x);
//	print(y);
	return;
}
/*@*/
/*@*/
int main()
{
	int i;
	i=0;
	init();
	swap();
	while(i<20)
	{
		print(c[i].data);
		print(d[i].data);
		i=i+1;
	}
	return 0;
}
/*@*/
